Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
291	Once, Weakly: Typelist Meta-Algorithms Typelist Meta-Algorithms The other day I was reading Andrei Alexandrescu’s clever implementation of an ad hoc Visitor that I had unaccountably overlooked when it first appeared. ( Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:10 Computer programming C programming language Cross-platform software Generic programming Type theory Typedef Enumerated type Struct Typename Software engineering C++ Computing
292	JFP 22 (4–5): 705–746, [removed]c Cambridge University Press 2012 ! 705 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Programming language semantics Models of computation Computer science Operational semantics Model theory Lambda calculus Denotational semantics Theoretical computer science Applied mathematics Logic in computer science
293	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
294	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 18:04:35 Computer memory Assembly languages Low-level programming language MOV X86 Spinlock Memory barrier Memory ordering Parallel computing Computer architecture Computing X86 architecture
295	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2011-02-17 08:33:45 Procedural programming languages Data types Logic in computer science Programming language semantics C programming language Denotational semantics Pointer ALGOL 68 C syntax Software engineering Computing Computer programming
296	Multithreaded semantics for Java Overview The Semantics of Multithreaded Java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 11:29:01 Computer memory Object-oriented programming Icelandic language Old English language Memory barrier Eth Java Memory Model Memory model Volatile variable Computing Software engineering Cross-platform software
297	ECSYM Part B1- Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel —the next-generation semantics Section 1d: Extended Synopsis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:55:17 Models of computation Programming language semantics Applied mathematics Concurrency Denotational semantics Power domains Semantics Operational semantics Petri net Theoretical computer science Computer science Logic in computer science
298	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
299	A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-01-13 16:21:08 Logic in computer science Java Memory Model Java platform Computer memory Concurrency Programming language semantics Memory model Consistency model Causal consistency Computing Computer architecture Software engineering
300	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad

UPDATE